Internet Archive's in-browser bookreader "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see your browser settings for this feature.

Free Trade: Composable Smart Contracts

by: Ross Gardiner

Publication date: 2018-05-15

Usage: CC0 1.0 Universal

Topics: computer science, haskell, functional programming, smart contracts, ethereum, finance

Collection: opensource

Language: English

Smart
contracts can be used to create a reliable and interactive record of a
transaction between two parties. We propose a modern reimplementation of
‘composing contracts’, initially described by Peyton Jones et al.,
which can be used as a declarative language for the creation of Ethereum
smart contracts that model real-world financial transactions.